Communication and Transactions in V Ienna P Arallel L Ogic Communication and Transactions in V Ienna P Arallel L Ogic
نویسنده
چکیده
We compare several degrees of architecture abstraction and communication reliability in distributed programming languages. A nearly architecture independent logic programming language and system with reliable communication called V P L (Vienna Parallel Logic) is presented. We point out the contradiction between complete architecture independence and reliable high-level communication in programming languages. The description of an implementation technique of V P L 's reliable communication on shared memory and distributed architectures comprises a major part of this paper. The reliable communication is based on the speciication of consistent system states that must survive system failures.
منابع مشابه
Concurrency and Backtracking in V Ienna P Arallel L Ogic Concurrency and Backtracking in V Ienna P Arallel L Ogic
Vienna Parallel Logic (V P L) is a persistent language and programming system that supports the concurrent execution of communicating processes and the computation of several alternative solutions by means of programmed backtracking. It uniies the worlds of sequential logic programming languages (Prolog) and concurrent logic programming languages (i.e., Parlog). Aspects of both language classes...
متن کاملScheduling Transactions on Distributed Systems with the V P L Engine Scheduling Transactions on Distributed Systems with the V P L Engine
The coordination of distributed services and the integration of data repositories that are maintained by autonomous distributed databases requires exi-ble transaction management. Recently numerous advanced transaction models have been proposed that extend traditional transaction models by releasing one or more of the classical ACID (atomicity, consistency, integrity, durability) properties of t...
متن کاملFficient S Cheduling S Trategy Using C Ommunication a Ware S Cheduling for P Arallel J Obs in C Lusters
In the area of Computer Science, Parallel job scheduling is an important field of research. Finding a best suitable processor on the high performance or cluster computing for user submitted jobs plays an important role in measuring system performance. A new scheduling technique called communication aware scheduling is devised and is capable of handling serial jobs, parallel jobs, mixed jobs and...
متن کاملMemoizing Multi-Threaded Transactions
There has been much recent interest in using transactions to simplify concurrent programming, improve scalability, and increase performance. When a transaction must abort due to a serializability violation, deadlock, or resource exhaustion, its effects are revoked, and the transaction re-executed. For long-lived transactions, however, the cost of aborts and subsequent re-executions can be prohi...
متن کاملIMNTV-Identifying Malicious Nodes using Trust Value in Wireless Sensor Networks
Security is the major area of concern in communication channel. Security is very crucial in wireless sensor networks which are deployed in remote environments. Adversary can disrupt the communication within multi hop sensor networks by launching the attack. The common attacks which disrupt the communication of nodes are packet dropping, packet modification, packet fake routing, badmouthing atta...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1994